The large scale geometry of strongly aperiodic subshifts of finite type
نویسنده
چکیده
A subshift on a group G is a closed, G-invariant subset of A, for some finite set A. It is said to be of finite type if it is defined by a finite collection of “forbidden patterns” and to be strongly aperiodic if it has no points fixed by a nontrivial element of the group. We show that if G has at least two ends, then there are no strongly aperiodic subshifts of finite type on G (as was previously known for free groups). Additionally, we show that among torsion free, finitely presented groups, the property of having a strongly aperiodic subshift of finite type is invariant under quasi isometry.
منابع مشابه
Aperiodic Subshifts of Finite Type on Groups
In this note we prove the following results: • If a finitely presented group G admits a strongly aperiodic SFT, then G has decidable word problem. • For a large class of group G, Z × G admits a strongly aperiodic SFT. In particular, this is true for the free group with 2 generators, Thompson’s groups T and V , PSL2(Z) and any f.g. group of rational matrices which is bounded. While Symbolic Dyna...
متن کاملTranslation-like Actions and Aperiodic Subshifts on Groups
It is well known that if G admits a f.g. subgroup H with a weakly aperiodic SFT (resp. an undecidable domino problem), then G itself has a weakly aperiodic SFT (resp. an undecidable domino problem). We prove that we can replace the property “H is a subgroup of G” by “H acts translation-like on G”, provided H is finitely presented. In particular: • If G1 and G2 are f.g. infinite groups, then G1 ...
متن کاملAperiodic Subshifts on Polycyclic Groups
We prove that every polycyclic group of nonlinear growth admits a strongly aperiodic SFT and has an undecidable domino problem. This answers a question of [5] and generalizes the result of [2]. Subshifts of finite type (SFT for short) in a group G are colorings of the elements of G subject to local constraints. They have been studied extensively for the free abelian group Z [14] and on the free...
متن کاملA Metric Characterisation of Repulsive Tilings
A tiling of R is repulsive if no r-patch can repeat arbitrarily close to itself, relative to r. This is a characteristic property of aperiodic order, for a non repulsive tiling has arbitrarily large local periodic patterns. We consider an aperiodic, repetitive tiling T of R, with finite local complexity. From a spectral triple built on the discrete hull Ξ of T , and its Connes distance, we deri...
متن کاملFixed-point tile sets and their applicationsI
An aperiodic tile set was first constructed by R. Berger while proving the undecidability of the domino problem. It turned out that aperiodic tile sets appear in many fields, ranging from logic (the Entscheidungsproblem) to physics (quasicrystals). We present a new construction of an aperiodic tile set that is based on Kleene’s fixed-point construction instead of geometric arguments. This const...
متن کامل